HyAuLib: modelling Hybrid Automata in Modelica
نویسندگان
چکیده
A library of components for modelling hybrid automata in a natural fashion has been implemented in Modelica. This library exploits and extends the free Modelica library StateGraph to the modelling and simulation of deterministic hybrid systems described by the hybrid automaton formalism. In this contribution the library’s main features are described and its flexibility highlighted by developing models for two classic hybrid systems literature examples.
منابع مشابه
On the Connection of Equation- and Automata-based Languages: Transforming the Compositional Interchange Format to Modelica
In recent years, the object-oriented Modelica formalism for dynamic hybrid models has become a de-facto standard for the equation-based modeling, design, and analysis of complex, heterogeneous systems. It provides powerful mechanisms for model structuring and consistent model re-use, and a variety of tools are available that are based on the Modelica formalism. In this paper, an algorithmic tra...
متن کاملHybrid Modelling and Process Optimization of Biological Systems
An environment has been developed which comprises mathematical methods, concepts, and tools to enable the processing of experimental data to usable new insights about biological systems. Therefore, a mathematical modelling concept Hybrid Petri-Nets for biological applications (HPNbio) – has been defined which is properly adapted to the demands of biological process. This concept has been implem...
متن کاملObject - oriented and Structural - dynamic Modeling and Simulation I
The SNE special issues on Object-oriented and Structural-dynamic Modelling and Simulation emphasize on recent developments in languages and tools for object-oriented modelling of complex systems and on approaches, languages and tools for structural-dynamic systems. Computer aided modelling and simulation of complex systems , using components from multiple application domains, have in recent yea...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2008